An Object - Oriented Approach to theFormal Speci cation of ODP
نویسنده
چکیده
An Object-Z formal speciication of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speciication that can be readily extended.
منابع مشابه
An Object - Oriented Approach to theFormal Speci cation of ODP Trader
An Object-Z formal speciication of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speciication that can be readily...
متن کاملAn Object-Oriented Approach to the Formal Specification of ODP Trader
An Object-Z formal speci cation of the ODP Trader is presented which concisely captures the hierarchical context structure, the distribution of information and the communication aspects of the Trader. Particular use is made of generic classes, class inheritance and object aggregation (i.e. the instantiation of collections of similar objects) to give a structured speci cation that can be readily...
متن کاملCompositional Speci cation of ODPBinding
A building blocks approach for the formal speciication of binding objects in the ODP computational Model is presented. The formal notation that is used is based on LOTOS extended with two features-real time and gate passing. These features are among the extensions that are currently studied in the ISO standardisation Formal Description Techniques group. We apply our building blocks approach to ...
متن کاملRepresenting Object Models as Theories
Although techniques for using formal speci cations have been progressing, methods for developing formal speci cations themselves have improved little. To alleviate this problem, we propose a parallel re nement approach to speci cation acquisition where the designer uses an object-oriented speci cation representation while an underlying speci cation composition system manipulates an equivalent t...
متن کاملIncorporating Cores into System-Level Speci cation
We describe an approach for incorporating cores into a system-level speci cation. The goal is to allow a designer to specify both custom behavior and pre-designed cores at the earliest design stages, and to re ne both into implementations in a uni ed manner. The approach is based on experience with an actual application of a GPSbased navigation system. We use an object-oriented language for spe...
متن کامل